Implementing MQTT 5 in Go: A Deep Dive into Client Design - Part I
dev.toยท2hยท
Discuss: DEV
๐Ÿ“‹Format Specification
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.orgยท21hยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
Flag this post
When AI Agents Go Rogue: Agent Session Smuggling Attack in A2A Systems
unit42.paloaltonetworks.comยท10h
๐Ÿ•ต๏ธVector Smuggling
Flag this post
Guide: TLS and QUIC
moq.devยท5hยท
Discuss: Hacker News
๐ŸŒDNS over QUIC
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.orgยท16h
๐Ÿ“Log Parsing
Flag this post
Java Generics and Collections โ€ข Maurice Naftalin & Stuart Marks โ€ข GOTO 2025
youtube.comยท1d
ฮปLambda Formalization
Flag this post
AI Experiments: Fast Inference with Groq and Third-Party Tools with Kimi K2 in TypingMind
macstories.netยท1d
๐ŸŒ€Brotli Dictionary
Flag this post
Oops, My UUIDs Collided
alexsci.comยท1hยท
Discuss: Hacker News
๐ŸงชBinary Fuzzing
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comยท20h
๐Ÿ”“Decompilation
Flag this post
Fully-Specified Algorithms for JOSE and COSE is now RFC 9864
self-issued.infoยท22h
๐Ÿ”‘Cryptographic Protocols
Flag this post
Roadmap for Improving the Type Checker
forums.swift.orgยท19hยท
๐Ÿ’งLiquid Types
Flag this post
Building Up And Sanding Down
endler.devยท20h
๐Ÿ”ฉSystems Programming
Flag this post
Minimal Sufficiency: A Principle โ€˜Similarโ€™ to End-to-End
cacm.acm.orgยท1hยท
Discuss: Hacker News
๐Ÿ”—Network Calculi
Flag this post
AI Prompts That Create Human Connection
lightcapai.medium.comยท6hยท
Discuss: Hacker News
๐ŸŽ™๏ธWhisper
Flag this post
How to Build Your First MCP Server using FastMCP
hackernoon.comยท13h
โš™๏ธWASM Runtime
Flag this post
Show HN: IRCd in Pure Bash
github.comยท21hยท
Discuss: Hacker News
โœ…Shell Verification
Flag this post
Unlock Peak Performance: Refining MCTS with Action-Aware State Grouping
dev.toยท17hยท
Discuss: DEV
๐Ÿ”„Finite State Machines
Flag this post
Let Hypothesis Break Your Python Code Before Your Users Do
towardsdatascience.comยท2h
๐ŸงชProperty-Based Testing
Flag this post
Issue 496
haskellweekly.newsยท1d
๐Ÿ”—Functional Compilers
Flag this post